All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lee masThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lee mas